Control Optimizations Using Behavioral Don't Cares
نویسندگان
چکیده
Optimization of control ow is an important problem in the synthesis of embedded systems. While considerable progress has been made in data-oriented optimizations, control optimization has been fairly limited to those carried out by compilers at the register transfer level. Control optimizations are needed to make the nal system design insensitive to individual programming styles, and more importantly to provide implementation exibility using the Don't Care(DC) information. Broadly speaking, a DC refers to a condition under which the outcome of an speci ed set of actions is not important. This paper describes the sources of the Don't Care information at the behavioral and structural levels, and its use in optimization of the control ow in system descriptions.
منابع مشابه
System Modeling and Presynthesis Using Timed Decision Tables
In this paper, we present a tabular model of system behavior called Timed Decision Table (TDT). The TDT model is useful for identifying control-data interaction and in performing control-oriented optimizations. TDTs provide an ideal vehicle to implement source-level optimizations on a given behavioral description in a procedural hardware description language (HDL). These optimizations are used ...
متن کاملOn pattern matching with k mismatches and few don't cares
We consider the problem of pattern matching with k mismatches, where there can be don't care or wild card characters in the pattern. Specifically, given a pattern P of length m and a text T of length n, we want to find all occurrences of P in T that have no more than k mismatches. The pattern can have don't care characters, which match any character. Without don't cares, the best known algorith...
متن کاملDon't Care Computation in Minimizing Extended Finite State Machines with Presburger Arithmetic
This paper addresses the problem of generating logic don’t cares in minimizing an Extended Finite State Machines (EFSMs). EFSMs have been proposed to model control oriented systems. A version of this, with the data portion modeled by Presburger arithmetic, has been used in formal verification. A structural representation of such EFSMs and an optimization scheme using multi-valued logic is propo...
متن کاملDon't cares in synthesis: theoretical pitfalls and practical solutions
E ective use of don't cares requires solving several theoretical and practical problems. The theoretical problems are caused by a need to have all tools in a methodology use a consistent semantics of don't cares, so as to guarantee correctness of the nal implementation. Several common meanings of \don't care" will be considered and their respective conditions for design correctness will be deri...
متن کاملApproximate String Matching with Variable Length Don ' t Care
Searching for DNA or amino acid sequences similar to a given pattern string is very important in molecular biology. In fact, a lot of programs and algorithms have been developed. Most of them are based on alignment of strings or approximate string matching. However, they do not seem to be adequate in some cases. For example, the DNA pattern TATA (known as TATA box) is a common promoter that oft...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996